Skolem normal form - PDFSEARCH.IO - Document Search Engine

Skolem normal form
Results: 24

#	Item
11	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Model theory Predicate logic Skolem normal form Counterexample Free variables and bound variables Universal quantification Function American English Mathematics Logic Mathematical logic
12	Efficient Extraction of Skolem Functions from QRAT Proofs Marijn J.H. Heule Martina Seidl and Armin Biere Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:58:16 Model theory Automated theorem proving Boolean algebra Metalogic First-order logic Function True quantified Boolean formula Skolem normal form Resolution Mathematics Logic Mathematical logic
13	General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:10:24 Mathematics Interpretation Function Circumscription Skolem normal form Predicate variable Second-order logic Mathematical logic Logic Model theory
14	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
15	Computing Circumscription Revisited: Preliminary Report Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:50 Predicate logic Model theory Quantification Formal languages Circumscription Skolem normal form Atomic formula Function Universal quantification Logic Mathematical logic Mathematics
16	Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger Youssef Hamadi Leonardo de Moura Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-07-29 11:34:28 Model theory Predicate logic Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem True quantified Boolean formula Skolem normal form Logic Theoretical computer science Mathematical logic
17	A First Step Towards a Unified Proof Checker for QBF Toni Jussila1 , Armin Biere1 , Carsten Sinz2 , Daniel Kr¨ oning3 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2008-01-30 18:21:35 Automated theorem proving Complexity classes Boolean algebra Model theory True quantified Boolean formula Predicate logic Resolution Skolem normal form FO Theoretical computer science Mathematics Mathematical logic
18	FMSD manuscript No. (will be inserted by the editor) Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger · Youssef Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-09-29 08:41:59 Model theory Predicate logic Logic in computer science Quantification NP-complete problems Satisfiability Modulo Theories True quantified Boolean formula Skolem normal form FO Logic Theoretical computer science Mathematical logic
19	On the identification of quantifiers witness sets.dvi Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-05-09 08:35:17 Mathematics Semantics Model theory Predicate logic Skolem normal form Branching quantifier Discourse representation theory FO Function Logic Mathematical logic Quantification
20	On Herbrand’s Theorem Samuel R. Buss University of California, San Diego Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-06-25 19:08:00 Model theory Predicate logic Metalogic Herbrandization First-order logic Sequent calculus Skolem normal form Well-formed formula Prenex normal form Logic Mathematical logic Proof theory